ESAtomAxiom\{i:l\}($T$;$V$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\forall$$i$, $x$:Id. AtomFree(Type;$T$($i$,$x$))) \& ($\forall$$i$:Id, $k$:Knd. AtomFree(Type;$V$($i$,$k$)))